Presburger arithmetic
[网络] 斯博格算术
热门查询
- undersize n. 尺寸不足 adj. 不够大的；小于一般尺寸的
- Cuba n. 古巴（拉丁美洲国家）
- pacemaker n. [基医] 起搏器；领跑者；标兵
- concorde n. 协和式超音速喷射客机
- Wegener n. (Wegener)人名；(德、罗)韦格纳
- fulmar n. 管鼻藿
- snakehead n. [鱼] 黑鱼；龟头花
- bendable 可弯曲的
- syllabic n. 音节主音 adj. 音节的
- router n. [计] 路由器；刳刨者
- comply vi. 遵守；顺从，遵从；答应
- absolutism n. 专制主义；绝对论
- harassment n. 骚扰；烦恼
- reorganization n. 改组；整顿；改编
- adenoma n. [肿瘤] 腺瘤
- terminator n. 终结者；终止子；明暗界限
- grey n. 灰色 adj. 灰色的；灰白的 vt. 使变成灰色；使变老 vi. 变成灰色；老化 n. (Grey)人名；(英、法)格雷
- be vt. 是； 有，存在； 做，成为； 发生 n. (Be)人名；(缅)拜；(日)部(姓)；(朝)培；(中非)贝
- pizzeria n. 意大利肉饼店，匹萨饼店
- coupling n. [电] 耦合；结合，联结 v. 连接（couple的ing形式）
考试词汇表
- longspan underground structure
- longspurred fairybells rhizome
- longterm hydro static strength
- longwall-shortwall coal cutter
- look a gift horse in the mouth
- look a gift-horse in the mouth
- look to have evaded the barber
- look what the cat's dragged in
- loop disconnect pulsing system
- loop wiring concentrator (LWC)
- loop-type fast breeder reactor
- loose smut of wheat and barley
- loose suppressible point frame
- loosely coupled interprocessor
- loosely coupled multiprocessor
- loosely shielded optical cable
- loosening of articular capsule
- loosening, removing by liquids
- lophatherum gracile brongniart
- lopholatilus chamaeleonticepss
